Model-based design - PDFSEARCH.IO - Document Search Engine

Model-based design
Results: 407

#	Item
21	How Model-Based Design Simplifies the Debugging of Many-Core Systems Iuliana Bacivarov Computer Engineering and Networks Laboratory, ETH Zürich 1st International Workshop on Multicore Application Debugging (MAD) 2013, 1 Add to Reading List Source URL: www.mad-workshop.de Language: English - Date: 2016-03-22 12:43:37 Computing Parallel computing Tile Debugging Embedded system Multi-core processor Thread STR ETH Zurich Computer engineering
22	Policy on Acceptable Simulation Data Archiving Simulation data is any data which is produced through numerical calculations which are based on a model. The model typically has inputs that are based on observed data, but Add to Reading List Source URL: ppi.pds.nasa.gov Language: English - Date: 2016-02-05 18:19:47 Electronic design automation Simulation Scientific modeling Electronic engineering Operations research Scientific modelling Logic simulation Epistemology Computer simulation Modeling and simulation
23	Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:12 Software testing QuickCheck Object Constraint Language Model-based testing Postcondition Random testing Design by contract ECO Unit testing Unified Modeling Language Object Process Methodology Test automation
24	Distributed Implementations of Vickrey-Clarke-Groves Mechanisms David C. Parkes Division of Engineering and Applied Sciences, Harvard University, 33 Oxford Street, Cambridge MA 02138 Add to Reading List Source URL: www.eecs.harvard.edu Language: English Game theory Mechanism design Distributed algorithmic mechanism design VickreyClarkeGroves mechanism Strategyproofness Revelation principle Vickrey auction Agent-based model Incentive compatibility Algorithm VickreyClarkeGroves auction Multi-agent system
25	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
26	Accessing BIM projects is now easier than ever! GRAPHISOFT’s vision is to bring BIM into common practice for the design and construction of buildings by enabling model-based workflow integration through innovative sof Add to Reading List Source URL: www.graphisoft.de Language: English - Date: 2015-02-18 10:24:49 Building information modeling Computer-aided design 3D graphics software BIMx Graphisoft ArchiCAD 3D modeling Graphisoft BIM Server Graphisoft MEP Modeler
27	Design of Flight Controllers based on Simplified LPV model of a UAV Kannan Natesan, Da-Wei Gu, Ian Postlethwaite and Jianchi Chen Abstract—In this paper, two strategies for the design of controllers based on a simplifi Add to Reading List Source URL: lra.le.ac.uk Language: English - Date: 2009-06-03 09:33:10 Control theory Linear parameter-varying control Robust control LPV Gain scheduling Control system Controller Synthesizer Nonlinear control
28	Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong A Concurrent Error Detection Based FaultTolerant 32 nm XOR-XNOR Circuit Implem Add to Reading List Source URL: www.bpti.lt Language: English - Date: 2013-12-16 08:28:43 Logic gates Digital electronics Electronic design XOR gate XNOR gate Stuck-at fault Fault model Transistor fault OR gate Fault tolerance Pass transistor logic Exclusive or
29	DESIGN AND IMPLEMENTATION OF MICROCOMPUTER BASED WATER RESOURCES DECISION SUPPORT SYSTEMS Marc P. Armstrong Departments of Geography and Computer Science 316 Jessup Hall Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:25:32 Decision theory Information systems Knowledge engineering Decision support system Database Data model Data definition language Network model William D. Haseman Outline of databases
30	Within-Document Term-Based Index Pruning with Statistical Hypothesis Testing Sree Lekha Thota and Ben Carterette Department of Computer and Information Sciences University of Delaware, Newark, DE, USA , c Add to Reading List Source URL: ir.cis.udel.edu Language: English - Date: 2011-08-13 09:15:29 Hypothesis testing Design of experiments Natural language processing Statistical inference Statistical natural language processing Statistical hypothesis testing Language model Tfidf Statistics N-gram Statistical power Pruning